- qc / 0 60 40 41 v 1 1 0 A pr 2 00 6 FIRST - ORDER LOGIC FOUNDATION OF RELATIVITY THEORIES
نویسندگان
چکیده
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity— including such revolutionary areas as black hole physics, relativistic computers, new cosmology—are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.
منابع مشابه
ar X iv : g r - qc / 0 10 40 67 v 1 2 0 A pr 2 00 1 OPTIS – a satellite – based test of Special and General Relativity
A new satellite based test of Special and General Relativity is proposed. For the Michelson–Morley experiment we expect an improvement of at least three orders of magnitude, and for the Kennedy–Thorndike experiment an improvement of more than one order of magnitude. Furthermore, an improvement by two orders of the test of the universality of the gravitational red shift by comparison of an atomi...
متن کاملqc / 0 60 80 96 v 1 2 0 A ug 2 00 6 Noether ’ s theorem , the stress - energy tensor and Hamiltonian constraints
Noether's theorem is reviewed with a particular focus on an intermediate step between global and local gauge and coordinate transformations, namely linear transformations. We rederive the well known result that global symmetry leads to charge conservation (Noether's first theorem), and show that linear symmetry allows for the current to be expressed as a four divergence. Local symmetry leads to...
متن کاملar X iv : g r - qc / 0 60 40 56 v 1 1 1 A pr 2 00 6 Stability of general relativistic static thick disks : the isotropic Schwarzschild thick disk
We study the stability of general relativistic static thick disks, as an application we consider the thick disk generated by applying the “displace, cut, fill and reflect” method, usually known as the image method, to the Schwarzschild metric in isotropic coordinates. The isotropic Schwarzschild thick disk obtained from this method is the simplest model to describe, in the context of General Re...
متن کاملar X iv : g r - qc / 0 40 40 40 v 1 9 A pr 2 00 4 Could the Gravitons Have Rest Masses ?
If the cosmological constant Λ can not be neglected, we will show in this short report, that graviton should have a rest mass mg = √ 2Λ = √ 2Λh̄c−1 different from zero.
متن کاملar X iv : g r - qc / 0 30 41 06 v 1 2 9 A pr 2 00 3 Gravitation without the equivalence principle
In Einstein's general relativistic description of gravitation, geometry replaces the concept of force. This is possible because of the universal character of free fall and would break down in its absence. On the other hand, the teleparallel version of general relativity is a gauge theory for the translation group and, as such, describes the gravitational interaction by a force similar to the Lo...
متن کامل